Building and Using P T - Based Quorums despite Any Number T of Process of Crashes

Failure detectors of the class denoted Pt eventually suspect all crashed processes in a permanent way (completeness) and ensure that, at any time, no more than n− t−1 alive processes are falsely suspected (accuracy), n being the total number of processes. This paper shows that a simple combination of such a failure detector with a two-step communication pattern can provide the processes with an interesting intersection property on sets of values. As an example illustrating the benefit and the property that such a combination can provide when designing protocols, a leader-based consensus protocol whose design relies on its systematic use is presented. Key-words: Asynchronous distributed system, Consensus, Distributed algorithm, Fault tolerance, Leader oracle, Quorum, Process crash, Unreliable failure detector.